petrosal nerve

noun

: any of several small nerves passing through foramina in the petrous portion of the temporal bone: as

a

: deep petrosal nerve

b

: greater petrosal nerve

c

: lesser petrosal nerve